Improved Lightweight Mutual Authentication Protocol for RFID Systems

The usage of the RFID technology is becoming more and more widespread, however, the systems are quite vulnerable regarding security aspects. The authentication protocols developed for computer networks are not suitable for RFID use, because the tags have very limited memory and computing capacity. New solutions are needed, which requires less operations and fewer messages. The lightweight protocols are one of the currently known methods for this purpose, but the proposed algorithms do not satisfy all of the security requirements. In this paper we introduce our lightweight authentication protocol, which provides prevention against all known attack schemes. We provide a full security analysis and prove the correctness of our solution with formal verification using GNY logics.